reuse/namedef_scope_03.re:20:4: error: name `x` is already defined
